\chapter{Logic}
\textit{Mục tiêu chính của logic trong tin học là để phục vụ các phương pháp suy luận cũng như biểu diễn tri thức. Logic cung cấp những quy tắc, kỹ thuật cho phép chúng ta đánh giá xem một luận điểm, một suy diễn là đúng hay là sai. Những ứng dụng của logic là rất nhiều, không chỉ trong toán học, tin học mà còn trong tất cả các lĩnh vực có tính chặt chẽ. Chương này sẽ cung cấp cho các bạn các khái niệm về logic mệnh đề, logic vị từ và các phương pháp chứng minh logic.}

\section{Mệnh đề và cầu nối logic}
Trong mục này chúng ta sẽ làm rõ thế nào là một mệnh đề, thế nào là cầu nối logic. Đây là cơ sở của môn logic và sẽ giúp chúng ta sử dụng nó để biểu diễn tri thức trong tin học
